Automates et programmation par contraintes pour la planification de personnel. (Automata and Constraint Programming for Personnel Scheduling Problems)
نویسنده
چکیده
Rapporteurs : Jean-Charles Régin, Professeur Université de Nice Louis-Martin Rousseau, Professeur École Polytechnique de Montréal Examinateurs : Benôıt Rottembourg, Directeur de la recherche EuroDécision Paris Patrice Boizumault, Professeur Université de Caen Directeur de thèse : Narendra Jussien, Professeur École des Mines de Nantes Responsable Scientifique : Sophie Demassey, Mâıtre-assistante École des Mines de Nantes
منابع مشابه
High-Level Reformulation of Constraint Programs
We propose a set of reformulation rules for models of constraint satisfaction problems that are written in our high-level constraint programming language ESRA, which is more expressive than OPL and is compiled into OPL. These automatable rules achieve models that are often very similar to what a human modeller would have tried, such as switching from a pure constraint program to an integer line...
متن کاملTraduction de spécifications de contraintes d’architecture en composants exécutables
Les contraintes d’architecture sont des spécifications définies par les développeurs dans la phase de conception, qui permettent de vérifier, après une évolution de l’architecture, si sa description est encore conforme aux conditions imposées par un patron ou un style architectural. Ces spécifications peuvent être exprimées avec un langage standardisé comme OCL (Object Constraint Language). Afi...
متن کاملOn Testing Constraint Programs
The success of several constraint-based modeling languages such as OPL, ZINC, or COMET, appeals for better software engineering practices, particularly in the testing phase. This paper introduces a testing framework enabling automated test case generation for constraint programming. We propose a general framework of constraint program development which supposes that a first declarative and simp...
متن کاملApplying ant colony optimization metaheuristic to solve forest transportation planning problems with side constraints
Forest transportation planning problems (FTPP) have evolved from considering only the financial aspects of timber management to more holistic problems that also consider the environmental impacts of roads. These additional requirements have introduced side constraints, making FTPP larger and more complex. Mixed-integer programming (MIP) has been used to solve FTPP, but its application has been ...
متن کاملProgrammation par contraintes avec des fourmis
On explore dans cet article les possibilités d’intégration de la métaheuristique d’optimisation par colonies de fourmis (ACO) dans un langage de programmation par contraintes (PPC). L’idée est d’utiliser un langage de PPC pour décrire le problème à résoudre, ainsi que pour propager et vérifier les contraintes, et d’utiliser ACO pour guider la recherche de solutions. On illustre notre approche s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011